void ex1_1();
